home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
CD ROM Paradise Collection 4
/
CD ROM Paradise Collection 4 1995 Nov.iso
/
science
/
laame101.zip
/
ES13.TXT
< prev
next >
Wrap
Text File
|
1993-06-06
|
2KB
|
130 lines
------------------------------------------------------------------------------
* *
* Laboratorio di Analisi Algoritmi di Minimizzazione Espressioni Booleane *
* *
------------------------------------------------------------------------------
Giorno: 6-6-1993
Funzione: Σ6 (48,40,36,34,33,24,20,18,17,12,10,9,6,5,3,56,52,50,49,44,42,41,
38,37,35,28,26,25,22,21,19,14,13,11,7,60,58,57,54,53,51,46,45,
43,39,30,29,27,23,15)
Numero di variabili: 6
Numero di mintermini: 50
Stato dell'elaborazione: TERMINATA
Generazione dell'input: DETERMINISTICA
Combinazioni da 2 a 4 uni
Tempo totale di elaborazione: 10:3:19
--------------------------
* FASE A *
--------------------------
Tempo di elaborazione: 0:0:0
Numero implicanti primi: 90
Implicanti primi determinati:
abEF
abDF
abDE
abCF
abCE
abCD
acEF
acDF
acDE
aBcF
aBcE
aBcD
adEF
aCdF
aCdE
aBdF
aBdE
aBCd
aDeF
aCeF
aCDe
aBeF
aBDe
aBCe
aDEf
aCEf
aCDf
aBEf
aBDf
aBCf
bcEF
bcDF
bcDE
AbcF
AbcE
AbcD
bdEF
bCdF
bCdE
AbdF
AbdE
AbCd
bDeF
bCeF
bCDe
AbeF
AbDe
AbCe
bDEf
bCEf
bCDf
AbEf
AbDf
AbCf
cdEF
BcdF
BcdE
AcdF
AcdE
ABcd
cDeF
BceF
BcDe
AceF
AcDe
ABce
cDEf
BcEf
BcDf
AcEf
AcDf
ABcf
CdeF
BdeF
BCde
AdeF
ACde
ABde
CdEf
BdEf
BCdf
AdEf
ACdf
ABdf
CDef
BDef
BCef
ADef
ACef
ABef
--------------------------
* FASE B *
--------------------------
Quine II dx
Tempo di elaborazione: 10:3:19
Numero di forme prime paragonate: 1418396
Numero di tabelle cicliche esaminate: 3371359
Numero di implicanti soluzione: 15
SOLUZIONE (forma minima):
abCD + aBcD + aBdE + aBCe + aCEf + bcDE + cdEF + bCdF + cDeF + BdeF + AbeF +
AbCf + AdEf + ABef + AcDf